Control lock - PDFSEARCH.IO - Document Search Engine

Control lock
Results: 1096

#	Item
101	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2013-03-28 17:48:03 Concurrency control Computing Computer programming Concurrent computing Non-blocking algorithm Hazard pointer Mutual exclusion Lock Concurrent data structure Synchronization Compare-and-swap Linearizability
102	Techniques and Applications for Guest-Language Safepoints Benoit Daloze Johannes Kepler University Linz, Austria Chris Seaton Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Computing Software engineering Computer programming Concurrency control Global interpreter lock Thread JRuby POSIX Threads Memory barrier VM Runtime system Ruby
103	Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 09:59:34 Computer programming Software engineering Concurrency control Computing Recursion Spinlock Compare-and-swap Synchronization Thread Null Non-blocking algorithm Lock
104	Why Threads Are A Bad Idea (for most purposes) John Ousterhout Sun Microsystems Laboratories http://www.sunlabs.com/~ouster Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2003-02-24 11:45:34 Software engineering Computer programming Computing Concurrency control Parallel computing Concurrent computing Thread Synchronization Monitor Scheduling Event-driven programming Lock
105	Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luj´an, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Concurrency control Transaction processing Parallel computing Computer architecture Concurrent programming languages Software transactional memory Linearizability Thread Concurrent data structure Lock Dataflow Transactional memory
106	Using Escape Analysis in Dynamic Data Race Detec3on Emma Harrington `15 Williams College How common are local accesses? Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2014-10-17 20:23:26 Concurrency control Software design patterns Concurrent computing Inter-process communication Lock Futures and promises Thread
107	Integrating Concurrency Control and Energy Management in Device Drivers Kevin Klues†∓? , Vlado Handziski? , Chenyang Lu∓ , Adam Wolisz? , David Culler• , David Gay‡ , and Philip Levis† † Add to Reading List Source URL: sing.stanford.edu Language: English - Date: 2014-11-10 18:30:14 Computing Computer hardware Microcontrollers Embedded operating systems TI MSP430 TinyOS IC Serial Peripheral Interface Bus USB System on a chip Lock Sensor node
108	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness
109	Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2015-08-28 00:01:08 Transaction processing Concurrency control Transactional memory Lock Linearizability Atomicity Synchronization Parallel computing Memory model Commitment ordering Software transactional memory
110	Mechanized Verification of   Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software Concurrency control Separation logic Lock Concurrency Non-blocking algorithm Concurrent computing Parallel computing Linearizability Go